Bridging the GUI Gap with Reactive Values and Relations Ivan Perez Henrik Nilsson School of Computer Science

Source URL: www.cs.nott.ac.uk

• Computer programming
• Computing
• Software engineering
• Widget toolkits
• Functional programming
• Graphical user interfaces
• Application programming interfaces
• Evaluation strategy
• Reactive programming
• Widget
• Functional reactive programming
• Tk

dReach: δ-Reachability Analysis for Hybrid Systems Soonho Kong, Sicun Gao, Wei Chen, and Edmund Clarke Computer Science Department, Carnegie Mellon University, USA Abstract. dReach is a bounded reachability analysis to

Source URL: scungao.github.io

• Theoretical computer science
• Mathematics
• Dynamical systems
• Systems science
• Control theory
• Hybrid system
• Systems theory
• Satisfiability modulo theories

Shehar Bano Department of Computer Science, University College London, Gower Street WC1E 6BT, London https://sheharbano.com Employment History. • University College London, Dept. of Computer Science

Source URL: sheharbano.com

• Computing
• California
• Information technology
• Steven Murdoch
• Vern Paxson
• Blockchain
• Association for Computing Machinery
• International Computer Science Institute
• Paxson
• Jon Crowcroft

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs

Source URL: qav.comlab.ox.ac.uk

• Parallel computing
• Application programming interfaces
• Computer programming
• Message Passing Interface
• Computing
• Edsger W. Dijkstra
• Deadlock
• NC
• Software engineering
• Model checking

Logical Methods in Computer Science Vol. 4 (4:, pp. 1–21 www.lmcs-online.org Submitted Published

Source URL: qav.comlab.ox.ac.uk

• Experiment
• Mathematical optimization
• Vilfredo Pareto
• Microeconomics
• Multi-objective optimization
• Multiple-criteria decision analysis
• Probability space
• Event
• Markov decision process
• Pareto efficiency
• Mathematical analysis
• Economics

Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu

Source URL: www.cs.man.ac.uk

• Software engineering
• Computer programming
• Theoretical computer science
• Automated theorem proving
• Lisp
• ACL2
• Formal methods
• Logic in computer science
• Robert S. Boyer

1 Securing Augmented Reality Output Kiron Lebeck, Kimberly Ruth, Tadayoshi Kohno, Franziska Roesner Paul G. Allen School of Computer Science & Engineering University of Washington

Source URL: www.ieee-security.org

• Humancomputer interaction
• Reality
• Computing
• User interface techniques
• Augmented reality
• Mixed reality
• Virtual reality
• Multimodal interaction
• Microsoft HoloLens
• Head-mounted display
• Internet privacy
• JavaScript

Using Java Pathfinder to Reason about Agent Systems Franco Raimondi Department of Computer Science Middlesex University

Source URL: cgi.csc.liv.ac.uk

• Software engineering
• Java Pathfinder
• Computer programming
• Computing
• Const
• Obfuscation
• Assembly languages
• Programming language syntax
• Java
• P-code machine

Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks Kai Sheng Tai, Richard Socher*, Christopher D. Manning Computer Science Department, Stanford University, *MetaMind Inc. fo

Source URL: arxiv.org

Poster: Flow Inspection Scheduling for Cyber Security on Software-Defined Networks Sunghwan Kim, Seunghyun Yoon, and Hyuk Lim School of Electrical Engineering and Computer Science Gwangju Institute of Science and Technol

Source URL: www.ieee-security.org

• System software
• Computing
• Utility software
• Computer network security
• Computer security
• Configuration management
• Network architecture
• Software-defined networking
• Intrusion detection system
• Snort
• OpenFlow
• Traffic flow